Colgate University's New Library: A Dynamic Program
نویسندگان
چکیده
منابع مشابه
ASTOR: A Program Repair Library for Java
During the last years, the software engineering research community has proposed approaches for automatically repairing software bugs. Unfortunately, many software artifacts born from this research are not available for repairing Java programs. To-reimplement those approaches from scratch is costly. To facilitate experimental replications and comparative evaluations, we present Astor, a publicly...
متن کاملThe Library of Congress's National Digital Library Program
A key question we in America face today is whether or not the information superhighway will reinforce the best values of our society or, instead, will perpetually promise more than it can deliver as a communication medium. At first glance, the new interactive multimedia world we are entering would seem to engage the active mind in intellectual calisthenics and engender the creative use of infor...
متن کاملLB_Migrate: A Dynamic Load Balancing Library
The design of a general-purpose dynamic load balancing library for a vast variety of parallel applications is more challenging than the design of a static partitioning library. The dynamic load balancing library needs to be implemented in parallel with the application and must utilize memory efficiently, so that the application scalability is not affected. This paper studies the need for a dyna...
متن کاملA library for polymorphic dynamic typing
This paper presents a library for programming with polymorphic dynamic types in the dependently typed programming language Agda. The resulting library allows dynamically typed values with a polymorphic type to be instantiated to a less general (possibly monomorphic) type without compromising type soundness. There are situations where the types of the values that a program manipulates are not kn...
متن کاملGamifying the library services: A new concept in interacting with users
Background and Aim: Gamification refers to the use of game elements in non-game contexts to motivate engagement. This definition is the most comprehensive one presented so far. The term was proposed first in 2002 but it has been prolonged 8 years to attract individuals’’ attention. Gamification has been applied in various contexts according to its capabilities. The current study aims to investi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries
سال: 1959
ISSN: 2150-6701,0010-0870
DOI: 10.5860/crl_20_03_212